Sakallah, K.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Computation of switching noise in printed circuit boards

Yook, J.-G., Chandramouli, V., Katehi, L.P.B., Sakallah, K.A., Arabi, T.R., Schreyer, T.A.

Journal:

IEEE Transactions on Components Packaging and Manufacturing Technology Part A

Year:

1997

Language:

english

File:

PDF, 311 KB

english, 1997

2

Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints

Mark H. Liffiton, Karem A. Sakallah

Journal:

Journal of Automated Reasoning

Year:

2008

Language:

english

File:

PDF, 876 KB

english, 2008

3

Analysis and design of latch-controlled synchronous digital circuits

Sakallah, K.A., Mudge, T.N., Olukotun, O.A.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

1992

Language:

english

File:

PDF, 1.01 MB

english, 1992

4

A first-order charge conserving MOS capacitance model

Sakallah, K.A., Yen, Y.-T., Greenberg, S.S.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

1990

Language:

english

File:

PDF, 776 KB

english, 1990

5

Fast and accurate timing characterization using functional information

Yalcin, H., Mortazavi, M., Palermo, R., Bamji, C., Sakallah, K.A., Hayes, J.P.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2001

Language:

english

File:

PDF, 539 KB

english, 2001

6

Principles of Sequential-Equivalence Verification

Mneimneh, M.N., Sakallah, K.A.

Journal:

IEEE Design & Test of Computers

Year:

2005

Language:

english

File:

PDF, 191 KB

english, 2005

7

[ACM Press the 1999 international symposium - Monterey, California, United States (1999.04.12-1999.04.14)] Proceedings of the 1999 international symposium on Physical design - ISPD '99 - Transistor level micro-placement and routing for two-dimensional digital VLSI cell synthesis

Riepe, Michael A., Sakallah, Karem A.

Year:

1999

Language:

english

File:

PDF, 1.23 MB

english, 1999

8

[IEEE Comput. Soc. Press International Conference on Computer Aided Design - San Jose, CA, USA (10-14 Nov. 1996)] Proceedings of International Conference on Computer Aided Design - GRASP-A new search algorithm for satisfiability

Marques Silva, J.P., Sakallah, K.A.

Year:

1996

Language:

english

File:

PDF, 868 KB

english, 1996

9

Delay macromodels for point-to-point MCM interconnections

Kayssi, A.I., Sakallah, K.A.

Journal:

IEEE Transactions on Components Packaging and Manufacturing Technology Part B

Year:

1994

Language:

english

File:

PDF, 611 KB

english, 1994

10

[ACM Press the 1999 ACM/SIGDA seventh international symposium - Monterey, California, United States (1999.02.21-1999.02.23)] Proceedings of the 1999 ACM/SIGDA seventh international symposium on Field programmable gate arrays - FPGA '99 - Satisfiability-based layout revisited

Nam, Gi-Joon, Sakallah, Karem A., Rutenbar, Rob A.

Year:

1999

Language:

english

File:

PDF, 2.08 MB

english, 1999

11

[ACM Press the 45th annual conference - Anaheim, California (2008.06.08-2008.06.13)] Proceedings of the 45th annual conference on Design automation - DAC '08 - Faster symmetry discovery using sparsity of symmetries

Darga, Paul T., Sakallah, Karem A., Markov, Igor L.

Year:

2008

Language:

english

File:

PDF, 426 KB

english, 2008

12

Dynamic symmetry-breaking for Boolean satisfiability

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 410 KB

english, 2009

13

A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas

Mark Liffiton, Maher Mneimneh, Inês Lynce, Zaher Andraus, João Marques-Silva, Karem Sakallah

Journal:

Year:

2009

Language:

english

File:

PDF, 712 KB

english, 2009

14

Selection of Voltage Thresholds for Delay Measurement

V. Chandramouli, Karem A. Sakallah

Journal:

Analog Integrated Circuits and Signal Processing

Year:

1997

Language:

english

File:

PDF, 631 KB

english, 1997

15

[IEEE Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Goa, India (1999.01.10-1999.01.10)] Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) - Satisfiability-based detailed FPGA routing

Gi-Joon Nam,, Sakallah, K.A., Rutenbar, R.A.

Year:

1999

Language:

english

File:

PDF, 60 KB

english, 1999

16

Isolation and characterization of the tandemly repeated U6 genes from the sea urchin Strongylocentrotus purpuratus

Sameer A. Sakallah, Debon R. Norton, Wei Zhang, William F. Marzluff

Journal:

Biochimica et Biophysica Acta (BBA) - Gene Structure and Expression

Year:

1994

Language:

english

File:

PDF, 374 KB

english, 1994

17

The design of a microsupercomputer

Mudge, T.N., Brown, R.B., Birmingham, W.P., Dykstra, J.A., Kayssi, A.I., Lomax, R.J., Olukotun, O.A., Sakallah, K.A., Milano, R.A.

Journal:

Year:

1991

Language:

english

File:

PDF, 917 KB

english, 1991

18

Gaucher disease: studies of phenotype, molecular diagnosis and treatment

Erin O. Rice, Theodore E. Mifflin, Sameer Sakallah, Robert E. Lee, Carol A. Sansieri, John A. Barranger

Journal:

Clinical Genetics

Year:

1996

Language:

english

File:

PDF, 796 KB

english, 1996

19

Typing ofLegionella pneumophilaserogroup 1 isolates by degenerate (D-)RAPD fingerprinting

Sameer Sakallah, William Pasculle, Robert Lanning, David McDevitt, David Cooper

Journal:

Molecular and Cellular Probes

Year:

1995

Language:

english

File:

PDF, 1.76 MB

english, 1995

20

A developmental switch in sea urchin U1 RNA

Michael A. Nash, Sameer Sakallah, Carlos Santiago, Jin-Chen Yu, William F. Marzluff

Journal:

Developmental Biology

Year:

1989

Language:

english

File:

PDF, 2.53 MB

english, 1989

21

Isolation and characterization of developmentally regulated sea urchin U2 snRNA genes

Branko Stefanovic, Jian-Ming Li, Sameer Sakallah, William F. Marzluff

Journal:

Developmental Biology

Year:

1991

Language:

english

File:

PDF, 3.19 MB

english, 1991

22

The sea urchin histone gene complement

William F. Marzluff, Sameer Sakallah, Hemant Kelkar

Journal:

Developmental Biology

Year:

2006

Language:

english

File:

PDF, 1.92 MB

english, 2006

23

A comparative study of two Boolean formulations of FPGA detailed routing constraints

Nam, G.-J., Aloul, F., Sakallah, K.A., Rutenbar, R.A.

Journal:

IEEE Transactions on Computers

Year:

2004

Language:

english

File:

PDF, 1.10 MB

english, 2004

24

Efficient symmetry breaking for Boolean satisfiability

Aloul, F.A., Sakallah, K.A., Markov, I.L.

Journal:

IEEE Transactions on Computers

Year:

2006

Language:

english

File:

PDF, 4.89 MB

english, 2006

25

SAMSON2: An Event Driven VLSI Circuit Simulator

Sakallah, K.A., Director, S.W.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

1985

Language:

english

File:

PDF, 2.33 MB

english, 1985

26

A new FPGA detailed routing approach via search-based Boolean satisfiability

Gi-Joon Nam, Sakallah, K.A., Rutenbar, R.A.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2002

Language:

english

File:

PDF, 450 KB

english, 2002

27

sub-SAT: a formulation for relaxed Boolean satisfiability with applications in routing

Hui Xu, Rutenbar, R.A., Sakallah, K.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2003

Language:

english

File:

PDF, 591 KB

english, 2003

28

Satometer: how much have we searched?

Aloul, F.A., Sierawski, B.D., Sakallah, K.A.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2003

Language:

english

File:

PDF, 539 KB

english, 2003

29

Solving difficult instances of Boolean satisfiability in the presence of symmetry

Aloul, F.A., Ramani, A., Markov, I.L., Sakallah, K.A.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2003

Language:

english

File:

PDF, 1.06 MB

english, 2003

30

Modified nucleosides and the chromatographic and aminoacylation behavior of tRNAIle from Escherichia coli C6

Charles L. Harris, Farhad Marashi, Sameer Sakallah

Journal:

Biochimica et Biophysica Acta (BBA) - Gene Structure and Expression

Year:

1988

Language:

english

File:

PDF, 865 KB

english, 1988

31

GRASP: a search algorithm for propositional satisfiability

Marques-Silva, J.P., Sakallah, K.A.

Journal:

IEEE Transactions on Computers

Year:

1999

Language:

english

File:

PDF, 1018 KB

english, 1999

32

Multilevel optimization in the design of a high-performance GaAs microcomputer

Olukotun, O.A., Brown, R.B., Lomax, R.J., Mudge, T.N., Sakallah, K.A.

Journal:

IEEE Journal of Solid-State Circuits

Year:

1991

Language:

english

File:

PDF, 512 KB

english, 1991

33

Synchronization of pipelines

Sakallah, K.A., Mudge, T.N., Burks, T.M., Davidson, E.S.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

1993

Language:

english

File:

PDF, 1.21 MB

english, 1993

34

Timing models for gallium arsenide direct-coupled FET logic circuits

Kayssi, A.I., Sakallah, K.A.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

1995

Language:

english

File:

PDF, 1.03 MB

english, 1995

35

Maximum rate single-phase clocking of a closed pipeline including wave pipelining, stoppability, and startability

Chuan-Hua Chang, Davidson, E.S., Sakallah, K.A.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

1995

Language:

english

File:

PDF, 2.06 MB

english, 1995

36

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2007 Volume 4501 || Inversion Attacks on Secure Hash Functions Using sat Solvers

Marques-Silva, João, Sakallah, Karem A.

Year:

2007

Language:

english

File:

PDF, 258 KB

english, 2007

37

[IEEE CICC 97 - Custom Integrated Circuits Conference - Santa Clara, CA, USA (5-8 May 1997)] Proceedings of CICC 97 - Custom Integrated Circuits Conference - Timing abstraction of intellectual property blocks

Venkatesh, S.V., Palermo, R., Mortazavi, M., Sakallah, K.A.

Year:

1997

Language:

english

File:

PDF, 380 KB

english, 1997

38

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing - SAT 2011 Volume 6695 || DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions

Sakallah, Karem A., Simon, Laurent

Year:

2011

Language:

english

File:

PDF, 321 KB

english, 2011

39

[IEEE Comput. Soc. Press 8th International Conference on Tools with Artificial Intelligence - Toulouse, France (16-19 Nov. 1996)] Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence - Conflict analysis in search algorithms for satisfiability

Marques Silva, J.P., Sakallah, K.A.

Year:

1996

Language:

english

File:

PDF, 362 KB

english, 1996

40

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing - SAT 2011 Volume 6695 || On Freezing and Reactivating Learnt Clauses

Sakallah, Karem A., Simon, Laurent

Year:

2011

Language:

english

File:

PDF, 332 KB

english, 2011

41

Prediction of biologic aggressiveness in colorectal cancer by p53/k-ras-2 topographic genotyping

FINKELSTEIN, S, PRZYGODZKI, R, PRICOLO, V, SAKALLAH, S, SWALSKY, P, BAKKER, A, LANNING, R, BLAND, K, COOPER, D

Journal:

Molecular Diagnosis

Year:

1996

Language:

english

File:

PDF, 10.98 MB

english, 1996

42

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2007 Volume 4501 ||

Marques-Silva, João, Sakallah, Karem A.

Year:

2007

Language:

english

File:

PDF, 7.14 MB

english, 2007

43

[IEEE Comput. Soc. Press 1993 International Conference on Computer Aided Design (ICCAD) - Santa Clara, CA, USA (7-11 Nov. 1993)] Proceedings of 1993 International Conference on Computer Aided Design (ICCAD) - Min-max linear programming and the timing analysis of digital circuits

Burks, T.M., Sakallah, K.

Year:

1993

Language:

english

File:

PDF, 462 KB

english, 1993

44

[IEEE IEEE Princeton Section Sarnoff Symposium - Princeton, NJ (1995.04.28-1995.04.28)] IEEE Princeton Section Sarnoff Symposium - A High Performance GaAs Microprocessor

Huff,, Upton,, Sherhatt,, Barker,, McVay,, Stanley,, Brown,, Lomax,, Mudge,, Sakallah,

Year:

1993

Language:

english

File:

PDF, 446 KB

english, 1993

45

Application of system-level EM modeling to high-speed digital IC packages and PCBs

Jong-Gwan Yook,, Katehi, L.P.B., Sakallah, K.A., Martin, R.S., Huang, L., Schreyer, T.A.

Journal:

IEEE Transactions on Microwave Theory and Techniques

Year:

1997

Language:

english

File:

PDF, 429 KB

english, 1997

46

[IEEE Comput. Soc. Press 1993 IEEE International Conference on Computer Design ICCD'93 - Cambridge, MA, USA (3-6 Oct. 1993)] Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93 - An analysis of path sensitization criteria

Silva, J.P.M., Sakallah, K.A.

Year:

1993

Language:

english

File:

PDF, 461 KB

english, 1993

47

Ravel-XL: a hardware accelerator for assigned-delay compiled-code logic gate simulation

Riepe, M.A., Silva, J.P.M., Sakallah, K.A., Brown, R.B.

Journal:

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Year:

1996

Language:

english

File:

PDF, 2.10 MB

english, 1996

48

[IEEE 1999 Design Automation Conference - New Orleans, LA, USA (21-25 June 1999)] Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) - Functional timing analysis for IP characterization

Yalcin, H., Mortazavi, M., Palermo, R., Bamji, C., Sakallah, K.

Year:

1999

Language:

english

File:

PDF, 560 KB

english, 1999

49

Overview of complementary GaAs technology for high-speed VLSI circuits

Brown, R.B., Bernhardt, B., LaMacchia, M., Abrokwah, J., Parakh, P.N., Basso, T.D., Gold, S.M., Stetson, S., Gauthier, C.R., Foster, D., Crawforth, B., McQuire, T., Sakallah, K., Lomax, R.J., Mudge, T

Journal:

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Year:

1998

Language:

english

File:

PDF, 102 KB

english, 1998

50

[IEEE Proceedings of 39th Design Automation Conference - New Orleans, LA, USA (2002.6.10-2002.6.14)] Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324) - Satometer: how much have we searched?

Aloul, F.A., Sierawski, B.D., Sakallah, K.A.

Year:

2002

Language:

english

File:

PDF, 671 KB

english, 2002